We kept the old binary name when overhauling the tool for the Extensions
app to avoid unnecessary churn for packagers/distributors.
However we now have a reason to "free" the old name, so rename the binary
to match the (sub)project name.
https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1220
"runtime": "org.gnome.Platform",
"runtime-version": "master",
"sdk": "org.gnome.Sdk",
- "command": "gnome-shell-extension-prefs",
+ "command": "gnome-extensions-app",
"tags": ["nightly"],
"desktop-file-name-prefix": "(Nightly) ",
"finish-args": [
--- /dev/null
+#!/bin/sh
+@gjs@ @pkgdatadir@/@app_id@ "$@"
+++ /dev/null
-#!/bin/sh
-@gjs@ @pkgdatadir@/@app_id@ "$@"
var Application = GObject.registerClass(
class Application extends Gtk.Application {
_init() {
- GLib.set_prgname('gnome-shell-extension-prefs');
+ GLib.set_prgname('gnome-extensions-app');
super._init({ application_id: 'org.gnome.Extensions' });
}
)
app_id = 'org.gnome.Extensions'
-prgname = 'gnome-shell-extension-prefs'
+prgname = 'gnome-extensions-app'
gnome = import('gnome')
i18n = import('i18n')